/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package compiledriver;

import java.io.File;
import java.util.HashMap;
import java.util.Iterator;

/**
 *
 * @author Nicks
 */
public class CompileDriver {
    private static Iterator<String> myIterator;

    /**
     * @param args the command line arguments
     */
    public static void main(String[] args) {

      try
        {
            Tokenizing tknizer = new Tokenizing("TestFile.txt");
            String t = tknizer.getProofTable();
            System.out.println(t);
            //System.out.println(tknizer.getEnvironment().proofTable());
            Tokenizing n = new Tokenizing("TestFile.txt");
        }
        catch (IllegalStateException ex)
        {
            System.err.println(ex.getMessage());
            System.exit(-1);
        }
    }
}
